1. Finite automata : their algebras and grammars : Towards a theory of formal expressions
Author: J. Richard Buchi, Dirk Siefkes, editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Sequential machine theory
Classification :
QA
267
.
5
.
S4B83
1988
2. The monadic second order theory of all countable ordinals
Author: J. Richard Buchi, Dirk Siefkes
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Godel's theorem,، Model theory
Classification :
QA
3
.
L28
Vol
.
328
3. The monadic second order theory of all countable ordinals
Author: / [by] J. Richard Buchi, Dirk Siefkes
Library: Library of College of Science University of Tehran (Tehran)
Subject: Model theory
Classification :
QA
9
.
65
.
B8
1973
